Concurrent engineering

Results: 1149



#Item
981Software engineering / Component-based software engineering / Object-oriented programming / CORBA / Distributed computing architecture / Common Object Request Broker Architecture / Distributed Component Object Model / Component Object Model / Marshalling / Computing / Concurrent computing / Inter-process communication

Examensarbete Evaluation of interprocess communication methods in a component based environment av

Add to Reading List

Source URL: www.lysator.liu.se

Language: English - Date: 2000-02-14 09:09:42
982Parallel computing / Scalable Coherent Interface / Supercomputers / Computer memory / Cache coherence / CPU cache / Cache / Linked list / Bus sniffing / Computing / Cache coherency / Concurrent computing

Appeared in the IEEE Transactions on Computers, July[removed]Performance Evaluation of the Slotted Ring Multiprocessor Luiz André Barroso and Michel Dubois Department of Electrical Engineering-Systems

Add to Reading List

Source URL: barroso.org

Language: English - Date: 2005-03-07 23:37:47
983Network performance / Network architecture / Streaming / Teletraffic / Concurrent computing / FIFO / Fair queuing / Quality of service / Token bucket / Scheduling algorithms / Computing / Abstract data types

Linux - Advanced Networking Overview Version 1 Saravanan Radhakrishnan Information and Telecommunications Technology Center Department of Electrical Engineering & Computer Science The University of Kansas

Add to Reading List

Source URL: qos.ittc.ku.edu

Language: English - Date: 1999-08-22 01:15:20
984Parallel computing / Programming paradigms / Concurrent computing / Multi-core processor / Thread / Parallel programming model / Distributed computing / Python / Futures and promises / Computing / Software engineering / Computer programming

Parallel Programming with Python Jan Palach Chapter No. 1 "Contextualizing Parallel, Concurrent, and

Add to Reading List

Source URL: www.packtpub.com

Language: English
985Communication / Concurrent computing / Information Technology Infrastructure Library / Method engineering / Standards / Information and communication technologies in education / Green computing / Data center / Smart system / Computing / Technology / Information technology

DOC Document

Add to Reading List

Source URL: www.gov.uk

Language: English - Date: 2013-03-21 13:06:33
986Information Technology Infrastructure Library / Information technology management / Method engineering / Standards / Green computing / Data center / EGovernment in Europe / Computing / Concurrent computing / Distributed computing

Greening Government: ICT Strategy A sub strategy of the Government ICT Strategy March 2011

Add to Reading List

Source URL: www.gov.uk

Language: English - Date: 2013-03-21 13:06:33
987Project management / Reliability engineering / Data center / Concurrent computing / Computing / Distributed computing

RA Requirements[removed]I. Candidate´s profile and organization

Add to Reading List

Source URL: www.cen.eu

Language: English - Date: 2014-06-10 20:30:21
988Formal methods / Concurrent computing / Software development / Electronic engineering / SIGNAL / Esterel / Real-time computing / Actor model / Model checking / Computing / Hardware description languages / Synchronous programming languages

Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:32
989Turing Award laureates / Formal methods / Joseph Sifakis / Cybernetics / Systems theory / Component-based software engineering / Model checking / Turing Award / Amir Pnueli / Computer science / Science / Software engineering

2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
990Scientific modeling / Formal methods / Actor model / Concurrent computing / Embedded system / Programming language / Computer science / Modeling language / Hardware description language / Software engineering / Design / Systems engineering

The Embedded Systems Design Challenge? Thomas A. Henzinger1 and Joseph Sifakis2 1 2

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
UPDATE